Model theory and foundations of logic

Epistemic Logic and the Foundations of Decision and Game Theory

This paper reviews a number of foundational results at the intersection of epistemic logic, decision and game theory. It first presents a decisiontheoretic underpinning of epistemic analysis in terms of modal operators. Then it moves to the theory of strategic interaction, and show how this kind of epistemic analysis sheds light on the assumptions underlying wellknown solution concepts, both fo...

Second Order Logic, Set Theory and Foundations of Mathematics

The question, whether second order logic is a better foundation for mathematics than set theory, is addressed. The main difference between second order logic and set theory is that set theory builds up a transfinite cumulative hierarchy while second order logic stays within one application of the power sets. It is argued that in many ways this difference is illusory. More importantly, it is arg...

Logic of agreement: foundations, semantic system and proof theory

In this paper a multi-valued propositional logic logic of agreement in terms of its model theory and inference system is presented. This formal system is the natural consequence of a new way to approach concepts as commonsense knowledge, uncertainty and approximate reasoning the point of view of agreement. Particularly, it is discussed a possible extension of the Classical Theory of Sets based ...

"foundations of logic and methodology"

0

Logic and Foundations